Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
61	Microsoft Word - 1d1_Nakano.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2008-07-31 06:40:23 Input-output model Regional science Production function Function Waste Matrix Boolean algebra Science Mathematics Functions and mappings Algebraic logic
62	An Algorithm for Affine Approximation of Binary Decision Diagrams Kevin Henshall∗ Peter Schachte∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:41 Artificial neuron Tiny Encryption Algorithm Complete Boolean algebra FO Applied mathematics Boolean algebra Mathematics Boolean function
63	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
64	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
65	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
66	An Algorithm for Affine Approximation of Binary Decision Diagrams Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:47:00 Complete Boolean algebra Affine space FO Boolean algebra Mathematics Boolean function
67	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
68	Scalable Error Detection using Boolean Satisfiability Yichen Xie∗ Alex Aiken∗ Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-12-14 15:17:59 Functions and mappings Function Pointer Objective-C C Entailment Stack Logic Software engineering Computing
69	A quasi-stability result for low-degree Boolean functions on Sn David Ellis, Yuval Filmus∗, and Ehud Friedgut† OctoberAbstract Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2012-11-09 07:06:56 Representation theory of Lie groups Representation theory Character theory Fourier transform Representation theory of finite groups Zonal spherical function Abstract algebra Mathematical analysis Mathematics
70	On the Boolean functions With Maximum Possible Algebraic Immunity : Construction and A Lower Bound of the Count Abstract. This paper gives a construction method which can get a large class of Boolean functions with maxim Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-07 22:30:07 Algebraic structures Boolean algebra E-function Number theory Algebraic normal form Degree of a continuous mapping Field Abstract algebra Mathematics Algebra

UPDATE